Buy Used and New Amir Pnueli Books

Results for Amir Pnueli

Showing 1 to 2 of 2 results
Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987, Proceedings: 398 (Lecture Notes in Computer Science) Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987, Proceedings: 398 (Lecture Notes in Computer Science) by Behnam Banieqbal, Howard Barringer, Amir Pnueli

Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987, Proceedings: 398 (Lecture Notes in Computer Science)

by Behnam Banieqbal, Howard Barringer, Amir Pnueli


ISBN 13: 9783540518037

Format: Paperback (448 pages)
Publisher: Springer
Published: 11 Oct 1989

Save for later

 
New : $57.61  
New : $57.61
Verification of Sequential and Concurrent Programs: Texts in Computer Science, Third Edition Verification of Sequential and Concurrent Programs: Texts in Computer Science, Third Edition by Krzysztof R. Apt, Amir Pnueli, Frank S. de Boer, Ernst-Rüdiger Olderog

Verification of Sequential and Concurrent Programs: Texts in Computer Science, Third Edition

by Krzysztof R. Apt, Amir Pnueli, Frank S. de Boer, Ernst-Rüdiger Olderog


ISBN 13: 9781447125136

Format: Paperback (528 pages)
Publisher: Springer
Published: 14 Mar 2012

Save for later

 
New : $87.38  
New : $87.38